Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
13

On the status of proving program properties in effective interpretations

Année:
1993
Langue:
english
Fichier:
PDF, 801 KB
english, 1993
17

Arithmetical completeness versus relative completeness

Année:
1988
Langue:
english
Fichier:
PDF, 451 KB
english, 1988
29

On relative completeness of Hoare logics

Année:
1985
Langue:
english
Fichier:
PDF, 683 KB
english, 1985
33

Ever decreasing circles for increased performance

Année:
1994
Langue:
english
Fichier:
PDF, 167 KB
english, 1994
40

CONFERENCES HELD

Année:
1964
Langue:
english
Fichier:
PDF, 175 KB
english, 1964